Model-Based Testing - Automação de testes com base em modelos

Com o surgimento de cada vez mais empresas de desenvolvimento de software, a preocupação com a realização de entregas com maior qualidade é cada vez maior. A procura pela metodologia ideal, que permita conjugar o desenvolvimento de software e a realização de testes de forma mais otimizada possível, faz com que seja necessário estudar a prática de novas metodologias que apresentem uma melhoria significativa na implementação dos processos de desenvolvimento e testes. Esta tese de mestrado teve como principal objetivo estudar a técnica do Model-Based Testing que corresponde a uma técnica avançada de realização de testes. No estudo foram analisadas as notações que existem para modelação, as ferramentas, entre outros pontos. Foi também apresentado um caso prático onde a técnica foi adaptada a diferentes cenários de trabalho reais. O Model-Based Testing é uma metodologia relativamente recente. Apresenta uma forma de realização de testes, através da utilização de um modelo que permite gerar de forma automática, casos de teste. Dá resposta a diferentes necessidades dentro de um processo de desenvolvimento e realização de testes. Permite reaproveitar todos os artefactos utilizados, atribuindo outro significado ao tempo gasto com a realização dos testes.With the emergence of more and more software development companies, the concern of delivering higher quality software is greater than ever. The search for the fitting methodology, that allows to optimize the software and test development, test plan and execution, makes it necessary to study the practice of new methodologies that present a significant improvement in the implementation of development and testing processes. This master's thesis has as the main objective to study the Model-Based Testing technique that corresponds to an advanced test implementation technique. In this study were investigated the notations that exist for modeling, the tools, among other details. It is also presented a practical case where the technique has been adapted to different real work scenarios. Model-Based Testing is a relatively recent methodology. It presents an implementation of tests through the use of a model, that allows to automatically generate test cases. It responds to different needs within the process of developing and conducting tests. It allows reusing all the artifacts used, assigning another meaning to the time spent with the tests

Epidemiology of Superficial Fungal Infections in Portugal: 3-year review (2014-2016)

Introdução: As infeções fúngicas superficiais são as dermatoses infeciosas mais frequentes e a sua incidência continua a aumentar. Os dermatófitos são os principais agentes causais apresentando, contudo, uma distribuição geográfica variável. Material e Métodos: O presente estudo teve como objetivo a caracterização epidemiológica das infeções fúngicas superficiais diagnosticadas nos Serviços/Unidades de Dermatologia pertencentes ao Serviço Nacional de Saúde Português entre janeiro de 2014 e dezembro 2016 através da análise retrospetiva dos resultados das culturas realizadas durante esse período. Resultados: Foram estudados 2375 isolamentos, pertencentes a 2319 doentes. O dermatófito mais frequentemente isolado foi o Trichophyton rubrum (53,6%), tendo sido o principal agente causal da tinha da pele glabra (52,4%) e das onicomicoses (51,1%). Relativamente às tinhas do couro cabeludo, globalmente o Microsporum audouinii foi o agente mais prevalente (42,6%), seguido do Trichophyton soudanense (22,1%). Enquanto na área metropolitana de Lisboa estes dermatófitos foram os principais agentes de tinha do couro cabeludo, nas regiões Norte e Centro o agente mais frequente foi o Microsporum canis (58,5%). Os fungos leveduriformes foram os principais responsáveis pelas onicomicoses das mãos (76,7%). Conclusão: Os resultados deste estudo estão globalmente concordantes com a literatura científica. O Trichophyton rubrum apresenta-se como o dermatófito mais frequentemente isolado em cultura. Na tinha do couro cabeludo, na área metropolitana de Lisboa, as espécies antropofílicas de importação assumem particular destaque.info:eu-repo/semantics/publishedVersio

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements